
//  Copyright (C) 2007 Richard Uhler

//?d:A standard number.valueOf
//?e:number42

foo = new Number(42);
bar = foo.valueOf();
print(typeof bar);
print(bar);

